Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
481	PRODUCT SHEET ProActive Parallel Scientific Toolbox Key Benefits Add to Reading List Source URL: www.activeeon.com Language: English - Date: 2015-03-24 03:06:38 Array programming languages Parallel computing Cross-platform software Numerical linear algebra Scilab MATLAB Proactivity Computer cluster ProActive Computing Software Concurrent computing
482	TV-L1 Optical Flow for Vector Valued Images Lars Lau Rakˆet1 , Lars Roholm2 , Mads Nielsen1 , and Fran¸cois Lauze1 1 Department of Computer Science, University of Copenhagen, Denmark {larslau, madsn, francois}@diku.dk Add to Reading List Source URL: image.diku.dk Language: English - Date: 2011-10-17 10:04:03 Functions and mappings Linear algebra Vector calculus Differential calculus Abstract algebra Projection Gradient descent Calculus of variations Optical flow Mathematics Algebra Mathematical analysis
483	Innovations in Computer ScienceIdeal Forms of Coppersmith’s Theorem and Guruswami-Sudan List Decoding Henry Cohn∗ Nadia Heninger? Microsoft Research New England, One Memorial Drive, Cambridge, MA 02142 Add to Reading List Source URL: conference.itcs.tsinghua.edu.cn Language: English - Date: 2010-12-15 03:49:23 Polynomials Coding theory Field theory Error detection and correction Finite field General number field sieve Irreducible polynomial Reed–Solomon error correction Algebraic integer Abstract algebra Algebra Mathematics
484	Microsoft Word - HCS-BTA Add to Reading List Source URL: www.vernier.com Language: English - Date: 2014-06-06 09:48:06 Computer algebra systems Computing Vernier Software & Technology TI-Nspire series TI-84 Plus series Texas Instruments TI-89 series Hall effect TI-83 series Graphing calculators Programmable calculators Technology
485	Statistical Practice in Epidemiology with Computer exercises http://BendixCarstensen.com/SPE Add to Reading List Source URL: www.bendixcarstensen.com Language: English - Date: 2015-05-26 03:57:38 Econometrics Linear algebra Vectors Abstract algebra Regression analysis Poisson regression R Matrix Euclidean vector Algebra Mathematics Statistics
486	Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/ Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-03-03 04:50:17 NP-complete problems Logic in computer science Boolean algebra Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem Solver Boolean data type Theoretical computer science Applied mathematics Mathematics
487	GAMS 1 Franz Nelissen: GAMS Deve!opment Corp. Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-04-22 04:58:01 Numerical analysis Mathematical optimization Applied mathematics Numerical software General Algebraic Modeling System Mathematical modeling Algebraic modeling language AMPL Modeling language Operations research Mathematical software Computer algebra systems
488	Canonical Ground Horn Theories Maria Paola Bonacina1⋆ and Nachum Dershowitz2 1 2 Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2015-06-10 13:20:13 Propositional calculus Boolean algebra Logic in computer science Semantics Mathematical proof Horn clause Negation Unification Interpretation Logic Mathematical logic Mathematics
489	Microsoft Word - LS-BTA Add to Reading List Source URL: www.vernier.com Language: English - Date: 2014-06-06 09:48:07 Computer algebra systems Computing Classes of computers Vernier Software & Technology TI-Nspire series Optical devices Texas Instruments TI-83 series TI-84 Plus series Graphing calculators Programmable calculators Technology
490	BRICS RSAceto et al.: Finite Equational Bases in Process Algebra: Results and Open Questions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-12 16:51:01 Boolean algebra Algebraic structures Probability theory Mathematical structures Universal algebra Sigma-algebra Model theory Structure Independence Mathematics Mathematical logic Abstract algebra

UPDATE